Buy Used and New Agostino Cortesi Books

Computer Information Systems - Analysis and Technologies: 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. ... in Computer and Information Science)

by

ISBN 13: 9783642272448

Format: Paperback (338 pages)
Publisher: Springer
Published: 06 Dec 2011

Save for later

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science)

by Agostino Cortesi

ISBN 13: 9783540436317

Format: Paperback (331 pages)
Publisher: Springer
Published: 24 Apr 2002

Save for later

Advanced Computing and Systems for Security: Volume 2: 396 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki

ISBN 13: 9788132226512

Format: Paperback (336 pages)
Publisher: Springer
Published: 25 Nov 2015

Save for later

Computer Information Systems and Industrial Management: 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, ... 8104 (Lecture Notes in Computer Science)

by Khalid Saeed,Rituparna Chaki,Agostino Cortesi,Slawomir Wierzchon

ISBN 13: 9783642409240

Format: Paperback (544 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later

Hyper-lattice Algebraic Model for Data Warehousing (SpringerBriefs in Applied Sciences and Technology)

by Soumya Sen,Agostino Cortesi,Nabendu Chaki

ISBN 13: 9783319280424

Format: Paperback (76 pages)
Publisher: Springer
Published: 29 Jan 2016

Save for later

Advanced Computing and Systems for Security: Volume Four: 568 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki,Khalid Saeed,Agostino Cortesi,Nabendu Chaki

ISBN 13: 9789811033902

Format: Paperback (192 pages)
Publisher: Springer
Published: 17 Mar 2017

Save for later

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies)

by Nabendu Chaki,Agostino Cortesi,Nagaraju Devarakonda

ISBN 13: 9789811063183

Format: Hardcover (388 pages)
Publisher: Springer
Published: 31 Oct 2017

Save for later

Advanced Computing and Systems for Security: Volume Six: 667 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki, Agostino Cortesi, Khalid Saeed

ISBN 13: 9789811081828

Format: Paperback (180 pages)
Publisher: Springer
Published: 05 Jun 2018

Save for later

Advanced Computing and Systems for Security: Volume Seven: 897 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki

ISBN 13: 9789811332494

Format: Paperback (184 pages)
Publisher: Springer
Published: 19 Dec 2018

Save for later

Advanced Computing and Systems for Security: Volume Eight: 883 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki

ISBN 13: 9789811337017

Format: Paperback (204 pages)
Publisher: Springer
Published: 05 Mar 2019

Save for later

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science)

by Agostino Cortesi,Supratik Mukhopadhyay,Paul D. Attie,Lenore D. Zuck

ISBN 13: 9783540003489

Format: Paperback (340 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Advanced Computing and Systems for Security: Volume Ten: 996 (Advances in Intelligent Systems and Computing)

by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

ISBN 13: 9789811389689

Format: Paperback (180 pages)
Publisher: Springer
Published: 05 Sep 2019

Save for later